基于SPARC的VxWorks异常处理研究

本文详细阐述了VxWorks for SPARC的异常处理机制,分析VxWorks操作系统对于异常处理的流程,指出其中不适应于高可靠性嵌入式应用的地方,并提出了结合当前应用设计异常处理策略的改进优化方案,结合SPARC体系架构的TSC695F处理器,完成了异常处理改进方法并通过实验验证。实验结果表明,改进的异常处理方案大大提高了VxWorks运行的可靠性,本文的研究成果已应用于国家某重大项目。     

An aggregation composition compensation method based on paired net

With regard to the failure and cancellation of business logic of web services composition(WSC),this paper propose a novel web services transaction compensation mechanism based on paired net which can dynamically establish agile compensation-triggered process(CSCP-Nets),and satisfy prospective compensation requirements.The related execution semantics of five usual composition compensation patterns based on paired net are analyzed in the situations of successful execution,failure compensation and failure recovery.Paired net based application of trip reservation process(TRP) shows that it is feasible.     

古建油漆作技术（一）

我国在建筑上装饰油漆的历史悠久,最早可以追溯到春秋时代。最早的记载为清雍正年间颁行工部《工程做法则例》油作始成定例。近三百年的历史,古建油漆作的工艺技术也有了新的发展变化。由于新材料的产生与应用,引起部分旧工具和工艺操作的变更。本文将对传统的油漆技术操作,进行全面系统的介绍,介绍分四部分：一、材料与工具;二、底层处理;三、各种地杖的操作技术;四、涂刷饰面。     

洛阳首阳山电厂“2．14”事故处理及分析

本文详细分析了2005年2月14日由首阳山电厂220kV母线失压引起的区域电网事故发生及继电保护误动原因,并对事故处理方法及防范措施进行了总结。     

PLC在火力发电厂辅助控制系统中的应用

介绍了可编程控制器（PLC）的性能、特点和发展趋势,结合哈尔滨第三发电有限公司的实际情况,详细阐述了PLC在输煤控制系统、电除尘自控系统、锅炉吹灰系统中的应用情况.     

基于最优控制的三自由度四轮转向研究

建立四轮转向的三自由度模型,采用最优控制理论求得最优反馈增益矩阵,最后应用MATLAB/Simulink软件建立模型进行仿真;在前轮角阶跃输入下,与传统的前轮转向和比例控制的四轮转向车辆进行对比分析;结果表明,所建立的三自由度车辆模型的横摆角速度能够很快达到稳态值;质心侧偏角和侧倾角基本保持为零;降低了驾驶员的驾驶疲劳程度并且提高了行驶安全性和操纵稳定性。     

基于ADAMS/Car的车辆频率响应仿真分析

根据车辆动力学原理,介绍了二自由度车辆模型的横摆角速度频率响应,在ADAMS/car中建立车辆操纵稳定性仿真分析模型。通过对转向盘施加脉冲转角输入,使车辆产生横摆运动,研究车辆横摆角速度与转向盘转角的振幅比及相位差的变化规律,对车辆的横摆角速度频率响应特性做出分析与评价。结果表明,该车共振频率高,相位滞后角小,具有很好的频响特性。     

溪洛渡水电站监控系统设计特点分析

溪洛渡水电站的地理位置和基本情况决定了其监控系统的设计特点。文中介绍了溪洛渡水电站监控系统在组网方式、功能设计、功能部署、智能维护、调度通信、系统安全性等6个方面的设计特点。最后,介绍了溪洛渡水电站监控系统中的停机落门回路和水头处理这2个典型应用。     

基于低秩模型的电力能源大数据异常修正方法研究

传统的电力能源大数据异常修正方法存在搜索次数过多问题.会造成异常数据辨识结果异常、修正结果不准确。为此,引入低秩模型.改善以上问题。采用低秩模型处理电力能源数据样本.去除样本数据噪声;在离线模式下,通过训练支持向量机对数据样本进行聚类;在联机模式下,利用滑动窗口辨识异常数据;针对单个或多个不相关的异常数据.依据基尔霍夫电流定律完成修正。试验结果表明,与以往的大数据修正方法相比,设计的基于低秩模型的电力能源大数据异常修正方法残差值更低,并且电力负荷修正后.与实际负荷相符。     

Verification of Real Time Operating System Exception Management Based on SPARCv8

Exception management,as the lowest level function module of the operating system,is responsible for making abrupt changes in the control flow to react to exception events in the system.The correctness of the exception management is crucial to guaranteeing the safety of the whole system.However,existing formal verification projects have not fully considered the issues of exceptions at the assembly level.Especially for real-time operating systems,in addition to basic exception handling,there are nested exceptions and task switching by exceptions service routine.In our previous work,we used high-level abstraction to describe the basic elements of the exception management and verified correctness only at the requirement layer.Building on earlier work,this paper proposes EMS(Exception Management SPARCv8),a practical Hoare-style program framework to verify the exception management based on SPARCv8(Scalable Processor Architecture Version 8) at the design layer.The framework describes the low-level details of the machine,such as registers and memory stack.It divides the execution logic of the exception management into six phases for comprehensive formal modeling.Taking the executing scenario of the real-time operating system SpaceOS on the Beidou-3 satellite as an example,we use the EMS framework to verify the exception management.All the formalization and proofs are implemented in the interactive theorem prover Coq.